数学建模在独立学院教学改革中的探索与实践

独立学院是培育有实践技能和动手能力,能较快地适应岗位要求,解决实际问题的应用型人才的新型教学机构。本文分析了独立学院开展数学建模的重要性及方法。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

井震结合断层建模方法在萨北北二西的应用

萨北北二西井网密集,多年来没能利用大量井资料合理组合断层,特别是区块中央部位断裂复杂,对注采关系影响很大。采集三维地震后,把地震资料和井资料充分结合来研究断层。以地震解释的断层为基础,在三维空间利用相干体分析技术、正交切线法检查技术进行断点的空间归位、断层的空间组合,同时结合未组合断点寻找地震未解释的小断距断层,最后建立精准断层模型。结果表明该方法提高了断点组合率,对断层的认识更加清楚可信。     

任务关键系统可生存性的形式化建模方法

通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。     

边界系数法在高密度电阻率法正反演解释中的应用效果研究

通过“高密度电法微测系统”模型实验、有限单元法数值模拟、圆滑约束最小二乘法反演,探讨边界效应影响下的高密度电阻率法异常体边界的确定问题,研究异常体边界在反演断面上呈现的电阻率值与异常体边界两侧电阻率值间存在的统计关系.结果表明在高密度电法数据反演时,存在电阻率的过渡区域,异常体边界位于该过渡区域中,异常体边界在反演断面...     

大雨对飞机降落影响效应仿真研究与定量分析

为全面、定量分析大雨对飞机降落阶段的严重影响,选取波音737-300作为典型代表,首先对于降落阶段大雨造成的飞机性能损失进行了量级评估。然后重点针对降雨所导致的粗糙表面因素,利用CFD仿真方法和改进的湍流壁面函数,对于不同降雨强度下的波音737-300中段翼型气动性能进行了仿真模拟,给出了升阻力系数、失速攻角等定量结果,并与实验结果进行了对比。结果表明：大雨所导致的粗糙机翼表面将引起严重的气动性能损失。在降落阶段,对于波音737-300中段翼型而言,短时500毫米/小时降雨条件下,最大升力系数减少约28%,阻力系数平均增加达98.1%,失速攻角减小约5度。

Abstract：

Heavy rain might influence aerodynamic performance of an aircraft seriously, especially when it is landing. It requires an intensive investigation and quantitative analysis. Choosing Boeing 737-300 as the representative of aircraft, magnitude calculation for the penalty associated with severe rainfall was firstly made. Then the roughness factor was studied in detail using evolutional turbulence boundary function and CFD simulation tools. The aerodynamic character of Boeing 737-300 midspan airfoil was simulated under different rainfall environment. The quantitative results of lift-drag coefficients and stall angle were proposed and compared with experiment data. The results indicate that, the roughness surface caused by rainfall is most likely to cause significant aerodynamic penalties. For Boeing 737-300 midspan airfoil, when it is landing under severe rainfall of 500mm/hour over 30s periods, it could lead to the loss of maximum lift coefficient by about 28%, the decrease of stall angle by 5 and the increase of drag coefficient by 98.1%.     

UML建模技术在实验管理系统中的应用研究

统一建模语言UML是面向对象分析和设计过程中重要的建模工具。以实验管理系统的开发为背景,介绍基于UML的分析和建模过程,其中对UML中的用例图、顺序图进行了深入研究。     

基于同步网的虚拟拆卸过程建模方法研究

针对大型复杂装备虚拟拆卸过程建模问题,分析了其在拆卸作业的顺序关系、逻辑关系和语义表示等方面的需求。基于同步网给出了虚拟拆卸网(VDN)的定义和规则,其中变迁表示了维修作业中的拆卸动作,库所表示拆卸过程中部件的状态,同步器定义了拆卸序列的选择和并行关系。VDN能够确定拆卸序列、描述维修动作之间的逻辑关系,具有拆卸作业的具体语义,包含了维修知识信息。详细给出了VDN建模的步骤和简化规则,并通过一个VDN建模实例对方法和可行性进行了验证。     

对应点集移动相对性建模于脱机签名鉴定研究

提出并论证了欧氏空间中签名的对应点集具有移动相对性,基于该原理构建了一种新的脱机签名鉴定模型,并研究了签名间对应点集获取的方法。在鉴定方案中,待鉴定的脱机签名图像和参考样本的签名图像可以看作欧氏空间内两个不同坐标系中的图像,两者间能够建立相对应的点集合,而欧氏空间平面图像其对应点集具有确定的约束关系,利用该约束关系建立模型可以反映出对应点集移动相对性的大小,因此可以利用该值的差异进行签名真伪鉴定。该方法对于真签名的数量要求较低,并且不需要伪签名来进行训练,适用于脱机签名鉴定中存在的极少样本集情况。实验采用中、英文两种签名数据库验证了该方法的有效性。     

社会大规模群体行为仿真概念建模框架ARE

任何一个仿真系统中,概念建模是首要的也是最关键的环节。针对EATI(实体、行动、任务、交互)和EBI(实体、行为、交互)概念建模框架在社会域概念描述方面的不足,为体现大规模社会民众群体行为的涌现性特征,将实体和行为有机结合起来用主体Agent进行描述,并采用复杂网络的有关研究成果建立Agent之间的社会结构——社会关系网络,以及突出强调环境对行为的影响和制约作用,用智能环境的思想来简化行为描述的复杂度,提出了大规模社会群体行为建模的Agent、社会关系网络、智能环境(Agent Relation Environment:ARE)概念建模框架,给出了该框架所涉及的一系列概念的定义,并对框架的内容和特点进行了较为详细的阐释和探讨。